4

Scanning laser video camera/ microscope

Year:
1984
Language:
english
File:
PDF, 397 KB
english, 1984
16

μ-Calculus Model Checking in Maude

Year:
2005
Language:
english
File:
PDF, 293 KB
english, 2005
17

Deciding a class of path formulas for conflict-free petri nets

Year:
1997
Language:
english
File:
PDF, 1.03 MB
english, 1997
18

Deciding a Class of Path Formulas for Conflict-Free Petri Nets

Year:
1997
Language:
english
File:
PDF, 239 KB
english, 1997
20

The robustness of the Sarbanes Oxley effect on the U.S. capital market

Year:
2009
Language:
english
File:
PDF, 374 KB
english, 2009
25

Aspergillosis: a nidus of maxillary antrolith

Year:
2005
Language:
english
File:
PDF, 226 KB
english, 2005
42

Array Theory of Bounded Elements and its Applications

Year:
2014
Language:
english
File:
PDF, 735 KB
english, 2014
48

SAT-BASED MODEL CHECKING FOR REGION AUTOMATA

Year:
2006
Language:
english
File:
PDF, 1.19 MB
english, 2006